Effectは、clientとeffect handlerの相互作用から発生する
「1つ1つのaction」を「それを処理できるhandlerへのrequest」と捉える
Effect
https://gyazo.com/686df26c4147a2b79ae82c781edef447
例
ask
は大域環境を持つ計算を司るhandlerへのrequestと見れる
IO 計算なんかは正に外部との入出力を行うhandlerへの命令と見ることが出来る
#??
この辺は、
EDLS
由来の考え方なんだろうか?
参考
https://konn-san.com/prog/haskell/extensible-effects.html